Scheme theory - PDFSEARCH.IO - Document Search Engine

Scheme theory
Results: 835

#	Item
151	Revised6 Report on the Algorithmic Language Scheme — Non-Normative Appendices — MICHAEL SPERBER R. KENT DYBVIG, MATTHEW FLATT, ANTON (Editors) Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2012-08-11 13:47:51 Procedural programming languages Unix Scripting languages Computer file formats Cross-platform software Scheme Shebang Shell script ALGOL Computing Software engineering Programming language theory
152	Distributed Computing FS 2013 Prof. R. Wattenhofer / Jara Uitto Add to Reading List Source URL: dcg.ethz.ch Language: English - Date: 2014-09-26 08:28:46 Computational complexity theory Mathematics Context of computational complexity Horner scheme Algorithm Mathematical logic Theoretical computer science
153	Usage notes for likeSED v10, bdlikeSED, and extbdlikeSED macros v11 Macro Analysis Method Add to Reading List Source URL: fermi.gsfc.nasa.gov Language: English - Date: 2011-09-14 11:45:11 Cross-platform software Procedural programming languages C Energy Scheme Software engineering Programming language theory Computing
154	On Weakly Distance-Regular Digraphs Hiroshi SUZUKI International Christian University, Mitaka, Tokyo, JAPAN ˜ y) denote the two way Definition 1 Let Γ = (X, E) be a digraph. For x, y ∈ X, let ∂(x, ˜ y) = Add to Reading List Source URL: www.math.sinica.edu.tw Language: English - Date: 2003-10-08 02:41:27 Association scheme Combinatorics Design of experiments Representation theory Mathematics Abstract algebra Algebra
155	How to Go Beyond the Black-Box Simulation Barrier Boaz Barak∗ December 30, 2008 Abstract The simulation paradigm is central to cryptography. A simulator is an algorithm that tries Add to Reading List Source URL: www.boazbarak.org Language: English - Date: 2011-10-10 23:51:40 Probabilistic complexity theory Cryptographic protocols Computational complexity theory Complexity classes Zero-knowledge proof Interactive proof system IP Commitment scheme NP Theoretical computer science Applied mathematics Cryptography
156	Environmental Policy AWP Group designs and manufactures tough and innovative Shelter and Tarping solutions such as our industry leading DomeShelter™. Strategically focused on the Mining, Industrial and Agriculture sect Add to Reading List Source URL: www.awpgroup.com.au Language: English - Date: 2014-03-10 02:17:22 Management system Systems theory Environmental policy Environmental management system Earth Environmentalism Environmental organizations Eco-Management and Audit Scheme Sustainable Development Strategy in Canada Environmental economics Environmental social science Environment
157	BRICS Basic Research in Computer Science BRICS RS-97-1 Danvy & Goldberg: Partial Evaluation of the Euclidian Algorithm Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Theoretical computer science Recursion Computability theory Subroutines Fixed-point combinator Euclidean algorithm Church encoding Scheme Greatest common divisor Mathematics Applied mathematics Lambda calculus
158	What is Black Box Secret Sharing? Using Algebraic Number Fields New Approach: Primitive Sets Add to Reading List Source URL: www.iacr.org Language: English - Date: 2005-08-31 11:28:38 Algebraic structures Algebraic number theory Scheme theory Secret sharing Algebraic number field Group Finite field Field Abelian group Abstract algebra Algebra Field theory
159	The Swine Before Perl Shriram Krishnamurthi Brown University and PLT Why We’re Here Any sufficiently complicated C or Fortran Add to Reading List Source URL: www.ai.mit.edu Language: English - Date: 2001-11-20 10:43:08 Functional languages Racket Shriram Krishnamurthi Scheme Fortran Lisp Teach Yourself Scheme in Fixnum Days Computer programming Computing Software engineering Programming language theory
160	There is No EPTAS for Two-dimensional Knapsack Ariel Kulik∗ Hadas Shachnai† Abstract Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2010-12-30 12:50:07 Dynamic programming Operations research Complexity classes Approximation algorithms Polynomial-time approximation scheme Knapsack problem Subset sum problem Parameterized complexity Optimization problem Theoretical computer science Computational complexity theory Applied mathematics

UPDATE